IPA introduction to formal methods for precise specification, for pracitioners, 2nd edition